In Time - PDFSEARCH.IO - Document Search Engine

In Time
Results: 61695

#	Item
21	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-12-01 12:09:39 Symbol Linear temporal logic Constructible universe Markov chain Probabilistic logic Logic Mathematics Epistemology
22	Would you like to make voting more convenient? Would you like more time to review your voting choices in the comfort of your own home? Become a Permanent Vote-By-Mail Voter (PVBM). Contact our office or complete the atta Add to Reading List Source URL: www.placerelections.com Language: English - Date: 2018-03-26 19:13:28 Elections Voting Politics Group decision-making Postal voting Electronic voting U.S. Vote Foundation Absentee ballot
23	LIVE! 360 AGENDA-AT-A-GLANCE DevOps in the Spotlight START TIME 6:00 PM Add to Reading List Source URL: sqllive360.com Language: English - Date: 2018-08-17 18:57:13 Computing Software Windows Server Information management Portal software Records management technology SharePoint Office 365 Microsoft Azure SQL Server Pro Microsoft Visual Studio PowerShell
24	LIVE! 360 AGENDA-AT-A-GLANCE DevOps in the Spotlight START TIME 6:00 PM Add to Reading List Source URL: modernappslive.com Language: English - Date: 2018-08-17 18:57:13 Computing Software Windows Server Information management Portal software Records management technology SharePoint Office 365 Microsoft Azure SQL Server Pro Microsoft Visual Studio PowerShell
25	Continuous-Time Stochastic Games with Time-Bounded ReachabilityI Tom´ aˇs Br´ azdil, Vojtˇech Forejt1 , Jan Krˇc´al, Jan Kˇret´ınsk´ y2,∗, Anton´ın Kuˇcera Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-12-20 07:29:02 Mathematics Mathematical analysis Abstract algebra Geometric group theory Measure theory Group theory Boolean algebra Experiment Sigma-algebra Determinacy Kazhdan's property Building
26	#MeToo Is it time up for discrimination in the workplace? Virtual Round Table Series Employment Working Group 2018 Add to Reading List Source URL: www.irglobal.com Language: English - Date: 2018-09-26 05:07:59 Human behavior Workplace bullying Harassment Feminism Human sexuality Sexual harassment Labour law Workplace Me Too movement Harassment in the United Kingdom Workplace harassment Hostile work environment
27	Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Real-time computing Scheduling Technology Computer architecture System software Embedded operating systems Automotive software OSEK Worst-case execution time Real-time operating system Uppaal Model Checker Model checking
28	EVO: Event-based 6-DOF Parallel Tracking and Mapping in Real-time Department of Informatics - Institute of Neuroinformatics Henri Rebecq, Timo Horstschaefer, Guillermo Gallego, Davide Scaramuzza Add to Reading List Source URL: rpg.ifi.uzh.ch Language: English - Date: 2018-09-20 18:03:34 3D computer graphics 3D imaging Depth map Nintendo DSi 3D reconstruction
29	Time-memory Trade-offs for Near-collisions Ga¨etan Leurent UCL Crypto Group Abstract. In this work we consider generic algorithms to find nearcollisions for a hash function. If we consider o Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2018-06-14 07:12:40 Search algorithms Information retrieval Information science Cryptography Hashing Cryptographic hash functions Error detection and correction Hash function Hash table Hopf decomposition Compound of twelve pentagonal antiprisms with rotational freedom

UPDATE